A Comparison of the Expressiveness of SPA and Bounded SPN Models
نویسندگان
چکیده
This paper presents some transformation techniques from bounded SPN systems to corresponding SPA models, preserving concurrency. Initially, a simple algorithm is introduced, showing that the obtained SPA models simulate the net systems. Then the algorithm is improved in order to keep more of the net structure, when possible. For the case of non ordinary net systems the SPA language is extended by introducing a new cooperation operator.
منابع مشابه
Pixel selection by successive projections algorithm method in multivariate image analysis for a QSAR study of antimicrobial activity for cephalosporins and design new cephalosporins
Thirty-one Cephalosporin compounds were modeled using the multivariate image analysis and applied to the quantitative structure activity relationship (MIA-QSAR) approach. The acid dissociation constants (pKa) of cephalosporins play a fundamental role in the mechanism of activity of cephalosporins. The antimicrobial activity of cephalosporins was related to their first pKa by different models. B...
متن کاملPixel selection by successive projections algorithm method in multivariate image analysis for a QSAR study of antimicrobial activity for cephalosporins and design new cephalosporins
Thirty-one Cephalosporin compounds were modeled using the multivariate image analysis and applied to the quantitative structure activity relationship (MIA-QSAR) approach. The acid dissociation constants (pKa) of cephalosporins play a fundamental role in the mechanism of activity of cephalosporins. The antimicrobial activity of cephalosporins was related to their first pKa by different models. B...
متن کاملCuts and overspill properties in models of bounded arithmetic
In this paper we are concerned with cuts in models of Samuel Buss' theories of bounded arithmetic, i.e. theories like $S_{2}^i$ and $T_{2}^i$. In correspondence with polynomial induction, we consider a rather new notion of cut that we call p-cut. We also consider small cuts, i.e. cuts that are bounded above by a small element. We study the basic properties of p-cuts and small cuts. In particula...
متن کاملComparison of the efficacy of aromatherapy and foot spa bath on labor pain in primiparous women: A randomized controlled trial
Introduction: Labor pain is one of the most severe pains that women experience during the pregnancy period. Inhalation and foot bath are common methods that reduce the pain of labor. The purpose of this study was to compare the effects of warm foot bath with inhalation of rose essence and warm foot bath lonely on pain of labor in primiparous women. Materials and Methods: This randomized clncont...
متن کاملComparing spiritual intelligence and emotional expressiveness in psychosomatic patients
The most important issues of psychology is psychosomatic disease. This study aimed to compare spiritual intelligence and emotional expression in patients with irritable bowel syndrome, coronary heart disease and asthma. This research was a post-event descriptive study. The statistical population included patients with coronary heart disease, irritable bowel syndrome and asthma that attended Ima...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001